diff --git a/ci/build.sh b/ci/build.sh
index e63b4f7e2cf64619bebee72c5b9a6b87eb76f211..76af9e5fc728df982e50f3cee8822b47c7627213 100644
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -224,7 +224,7 @@ x86_64-unknown-haiku \
 x86_64-unknown-hermit \
 x86_64-unknown-l4re-uclibc \
 x86_64-unknown-openbsd \
-armv7-wrs-vxworks \
+armv7-wrs-vxworks-eabihf \
 aarch64-wrs-vxworks \
 i686-wrs-vxworks \
 x86_64-wrs-vxworks \
diff --git a/src/lib.rs b/src/lib.rs
index 3c757f75b3231730cb6c95968d3cb00ab4f2f00e..3255303e5a9b0e0237425a086b12530b44849089 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -15,9 +15,13 @@
 #![crate_name = "libc"]
 #![crate_type = "rlib"]
 #![cfg_attr(libc_deny_warnings, deny(warnings))]
-#![allow(bad_style, overflowing_literals, improper_ctypes, unknown_lints)]
-// FIXME: this is due to a rustc bug
-#![allow(redundant_semicolon)]
+#![allow(
+    bad_style,
+    overflowing_literals,
+    improper_ctypes,
+    unknown_lints,
+    redundant_semicolon
+)]
 // Attributes needed when building as part of the standard library
 #![cfg_attr(
     feature = "rustc-dep-of-std",